always_comb
begin
a_ia： assert (a && b);
end